Model-driven engineering to enhance the reliability of software development by verifying system properties and detecting clones
- Creator: Hogavanaghatta Kumaraswamy, Jnanamurthy
- Resource Type: thesis
- Date: 2019
Clone detection in model-based development using formal methods to enhance performance in software development
- Creator: Hogavanaghatta Kumaraswamy, Jnanamurthy , Henskens, Frans , Paul, David , Wallis, Mark
- Resource Type: conference paper
- Date: 2018